Software metrics

Results: 635



#Item
21Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2014-11-10 23:12:58
22Microsoft PowerPoint - Social media metrics - HCAF 2015.pptx

Microsoft PowerPoint - Social media metrics - HCAF 2015.pptx

Add to Reading List

Source URL: www.hawaiiconservation.org

Language: English - Date: 2015-10-27 15:10:17
23A Simpler Model of Software Readability Daryl Posnett Abram Hindle  Prem Devanbu

A Simpler Model of Software Readability Daryl Posnett Abram Hindle Prem Devanbu

Add to Reading List

Source URL: softwareprocess.es

Language: English - Date: 2011-05-05 19:40:22
24Heidi Stakeholder Group Date Tuesday 12th April 2016 HESA, 95 Promenade, Cheltenham HSGHeidi Plus usage metrics

Heidi Stakeholder Group Date Tuesday 12th April 2016 HESA, 95 Promenade, Cheltenham HSGHeidi Plus usage metrics

Add to Reading List

Source URL: www.heidi.ac.uk

Language: English - Date: 2016-05-24 09:26:50
25Automatically Computing Program Path Complexity Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan I. I NTRODUCTION Recent automated software testing techniques focus on achieving path coverage. We present a program complexi

Automatically Computing Program Path Complexity Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan I. I NTRODUCTION Recent automated software testing techniques focus on achieving path coverage. We present a program complexi

Add to Reading List

Source URL: gswc.cs.ucsb.edu

Language: English - Date: 2016-03-01 02:43:37
26Measurements of Software Maintainability Rikard Land Mälardalen University Department of Computer Engineering Box 883 SEVästerås, Sweden

Measurements of Software Maintainability Rikard Land Mälardalen University Department of Computer Engineering Box 883 SEVästerås, Sweden

Add to Reading List

Source URL: www.artes.uu.se

Language: English - Date: 2002-04-03 10:19:39
27Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
28Latest Assessment of Seismic Station Observations (LASSO) User Guide and Tutorials I. Introduction LASSO (http://lasso.iris.edu) is a software tool, developed by Instrumental Software Technologies Inc. (http://www.isti.c

Latest Assessment of Seismic Station Observations (LASSO) User Guide and Tutorials I. Introduction LASSO (http://lasso.iris.edu) is a software tool, developed by Instrumental Software Technologies Inc. (http://www.isti.c

Add to Reading List

Source URL: lasso.iris.edu

Language: English - Date: 2015-11-23 16:40:57
29Tree Search Guoliang Li Motivation Problem Applications Metrics

Tree Search Guoliang Li Motivation Problem Applications Metrics

Add to Reading List

Source URL: i.cs.hku.hk

Language: English - Date: 2008-07-12 03:58:33
30Reading Beside the Lines: Indentation as a Proxy for Complexity Metrics Abram Hindle University of Waterloo Waterloo, Ontario Canada

Reading Beside the Lines: Indentation as a Proxy for Complexity Metrics Abram Hindle University of Waterloo Waterloo, Ontario Canada

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2008-03-16 18:36:16